A Reified Temporal Logic For Nonlinear Planning

Deductive planning treats planning as a reasoning process within a formal logic. Several formal logics have been applied in various deductive planning systems, but none is completely satisfactory and widely accepted by planning researchers. Almost all the formal logics applied in deductive planning are proposed for more general purpose than planning. Usually, the more general and the more expressive a language is, the less eecient that language is for dealing with problems in a speciic domain. In this report, we propose a temporal logic speciically for representing and reasoning about nonlinear planning. Our temporal logic naturally captures the persistence assumption and, when applied in deductive planning, can deal with the frame problem eeciently. Also, in this temporal logic, planning problem can be concisely and clearly speciied. Directly upon this temporal logic, we build a deductive nonlinear planning framework, constraint logic planning, which is proved to be sound, complete and is showed to be eecient. In this report, we brieey describe how the temporal logic provides the basis for constraint logic planning. educational or research purposes on condition that (1) this copyright notice is included, (2) proper attribution to the author or authors is made and (3) no commercial gain is involved.